Nuprl Definition : ma-din 11,40
M.din(l,tg) == (M.2).1(rcv(l,tg))?Top 
latex

clarification:

M.din(l,tg) == fpf-cap((M.2).1;KindDeq;rcv(l,tg);Top) 
latex

Definitionsf(x)?z, t.1, t.2, KindDeq, rcv(l,tg), Top
FDL editor aliasesma-din

origin